\begin{exercise}
\label{ex:secret_sharing:verify_formula_in_Shamir_scheme}
Verify the correctness of the formula for the secret secret in Shamir's 
secret sharing scheme by substituting into the formula of Lagrange's 
interpolation theorem.
\end{exercise}
